The Checklist Paradigm: A Constraint-Based Semantics for Fuzzy Interval Logics

The paper starts with a succinct description of the ways the semantics of fuzzy interval logics is derived by means of Bandler and Kohout’s Checklist paradigm from basic ab initio epistemic assumptions. This is followed by a brief survey of the previous work of application of the Checklist paradigm to this topic as well as the characterisation of the interval fuzzy logics by group transformations. Because some systems of interval logics are non-commutative, it is important to apply the group transformations not just to these systems directly, but also to the underlying structures of the Checklist paradigm that generate such systems. This is done in Sec. 4 of this paper.